Roadmap for Improving the Type Checker
🧩programming
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·1d
⚙️Compilers
Flag this post
KCL part 1: units
ncameron.org·1d
🧩programming
Flag this post
Reflection for Aggregates (2020)
🧩programming
Flag this post
GHC 9.14.1-rc1 is now available
🧩programming
Flag this post
What are you doing this weekend?
⚙️Compilers
Flag this post
Critique of impure reason: Unveiling the reasoning behaviour of medical large language models
elifesciences.org·3d
⚙️Compilers
Flag this post
<i>Nanotyrannus</i> and <i>Tyrannosaurus</i> coexisted at the close of the Cretaceous
nature.com·1d
🧩programming
Flag this post
Depth and Autonomy: A Framework for Evaluating LLM Applications in Social Science Research
arxiv.org·1d
⚙️Compilers
Flag this post
Teaching Probabilistic Machine Learning in the Liberal Arts: Empowering Socially and Mathematically Informed AI Discourse
arxiv.org·1d
🧩programming
Flag this post
Surface Reading LLMs: Synthetic Text and its Styles
arxiv.org·3d
🧩programming
Flag this post
Testing Cross-Lingual Text Comprehension In LLMs Using Next Sentence Prediction
arxiv.org·1d
⚙️Compilers
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·1d
⚙️Compilers
Flag this post
Nim 2.2.6
⚙️Compilers
Flag this post
Implicature in Interaction: Understanding Implicature Improves Alignment in Human-LLM Interaction
arxiv.org·1d
⚙️Compilers
Flag this post
Can Aha Moments Be Fake? Identifying True and Decorative Thinking Steps in Chain-of-Thought
arxiv.org·1d
⚙️Compilers
Flag this post
Loading...Loading more...